Предсказуемость у нас двух видов - времени и качества ( Read more... )

Вот тут подробности: http://hackage.haskell.org/trac/ghc/wiki/TypeNats/BasicsRead more... )

I should point that out that my opinion in this talk is biased: I’ve been using Rails for a few years...

Сравнение подходов Yesod и Ruby on Rails.

Я победил в этой маленькой битве. Описание команд MIPS (не полиморфное) успешно грузится.

Я поменял направление хранения цифр с "старшие знаки вперёд" на "младшие знаки вперёд".

Было:
infixr 5 :.
data d :. ds = d :. dsСтало:
infixl 5 :*
data ds :* d = ds :* dТеперь сложение не требует вычисление длины и нормализации чисел, а сразу начинает ( Read more... )

Что меня ещё интересует ( Read more... )

Часть про сами алгебраические типы и полиморфизм я опущу. Это где-то ещё есть. Начну с места в карьер.

В Хаскеле можно сделать типизированный ввод-вывод, а-ля Ada или Паскаль. Ну, там файл объявляется, как содержащий структуры: variable f : file of some_record и ничего, кроме some_record оттуда прочитать нельзя.

Как это сделать в Хаскеле:
data ( Read more... )

...ссылку на мою арифметику на типах.

Я её пригладил, отдал в публичное пользование - вещь мелкая, но полезная.

Прошу.

"Как нам обустроить Эрланг так, чтобы обойтись без модулей и файлов"

С моей, статической и строго типизированной точки зрения, Joe только что изобрёл Hoogle.

Не очень большая, но неприятная.

Как побочные эффекты мешают выводу типов, а точнее, почему в OCaml/F# взаимно рекурсивные определения надо помещать в группы let ... and ... and ....